Skip to content

chore(devenv): add Nix development shell#1445

Closed
elezar wants to merge 8 commits into
mainfrom
fix-local-dev
Closed

chore(devenv): add Nix development shell#1445
elezar wants to merge 8 commits into
mainfrom
fix-local-dev

Conversation

@elezar
Copy link
Copy Markdown
Member

@elezar elezar commented May 19, 2026

Summary

Add a checked-in Nix/devenv shell for OpenShell local development, including platform-specific build prerequisites for Linux and macOS. The branch also improves musl binary staging and local setup messaging so contributors get clearer behavior from the new shell.

Related Issue

None.

Changes

  • Add devenv.nix, devenv.yaml, and devenv.lock for an optional Nix/devenv development shell.
  • Configure Z3, pkg-config, libclang, e2fsprogs, Docker CLI, GitHub CLI, and VM build prerequisites through devenv.
  • Add Zig-backed musl toolchain wrappers for static supervisor builds and binary staging.
  • Improve shell entry messages for mise trust, missing tool installs, and open-file limits.
  • Update contributor, build, and VM driver docs for the devenv workflow.
  • Preserve Python wheel relinking before native maturin builds.

Testing

  • mise run pre-commit passes
  • Unit tests added/updated
  • E2E tests added/updated (if applicable)

No new tests were added; existing Python and Rust tests ran through mise run pre-commit.

Checklist

  • Follows Conventional Commits
  • Commits are signed off (DCO)
  • Architecture docs updated (if applicable)

elezar added 8 commits May 19, 2026 11:41
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
@copy-pr-bot
Copy link
Copy Markdown

copy-pr-bot Bot commented May 19, 2026

Auto-sync is disabled for draft pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

@elezar
Copy link
Copy Markdown
Member Author

elezar commented May 20, 2026

After discussion with @SDAChess, I am closing this. I will manage the devenv separately and revisit if required.

@elezar elezar closed this May 20, 2026
@elezar elezar deleted the fix-local-dev branch May 20, 2026 10:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant